;TIME:     0.24 seconds
(define (problem truck-10)
(:domain Trucks-SimplePreferences)
(:objects
	truck1 - truck
	package1 - package
	package2 - package
	package3 - package
	package4 - package
	package5 - package
	package6 - package
	package7 - package
	package8 - package
	package9 - package
	package10 - package
	package11 - package
	package12 - package
	l1 - location
	l2 - location
	l3 - location
	l4 - location
	t0 - time
	t1 - time
	t2 - time
	t3 - time
	t4 - time
	t5 - time
	t6 - time
	t7 - time
	t8 - time
	t9 - time
	t10 - time
	t11 - time
	t12 - time
	t13 - time
	t14 - time
	t15 - time
	t16 - time
	t17 - time
	t18 - time
	t19 - time
	t20 - time
	t21 - time
	t22 - time
	t23 - time
	t24 - time
	a1 - truckarea
	a2 - truckarea
	a3 - truckarea)

(:init
	(at truck1 l3)
	(free a1 truck1)
	(free a2 truck1)
	(free a3 truck1)
	(closer a1 a2)
	(closer a1 a3)
	(closer a2 a3)
	(at package1 l2)
	(at package2 l2)
	(at package3 l2)
	(at package4 l4)
	(at package5 l4)
	(at package6 l4)
	(at package7 l2)
	(at package8 l2)
	(at package9 l2)
	(at package10 l4)
	(at package11 l4)
	(at package12 l4)
	(connected l1 l2)
	(connected l1 l3)
	(connected l1 l4)
	(connected l2 l1)
	(connected l2 l3)
	(connected l2 l4)
	(connected l3 l1)
	(connected l3 l2)
	(connected l3 l4)
	(connected l4 l1)
	(connected l4 l2)
	(connected l4 l3)
	(time-now t0)
	(le t1 t1)
	(le t1 t2)
	(le t1 t3)
	(le t1 t4)
	(le t1 t5)
	(le t1 t6)
	(le t1 t7)
	(le t1 t8)
	(le t1 t9)
	(le t1 t10)
	(le t1 t11)
	(le t1 t12)
	(le t1 t13)
	(le t1 t14)
	(le t1 t15)
	(le t1 t16)
	(le t1 t17)
	(le t1 t18)
	(le t1 t19)
	(le t1 t20)
	(le t1 t21)
	(le t1 t22)
	(le t1 t23)
	(le t1 t24)
	(le t2 t2)
	(le t2 t3)
	(le t2 t4)
	(le t2 t5)
	(le t2 t6)
	(le t2 t7)
	(le t2 t8)
	(le t2 t9)
	(le t2 t10)
	(le t2 t11)
	(le t2 t12)
	(le t2 t13)
	(le t2 t14)
	(le t2 t15)
	(le t2 t16)
	(le t2 t17)
	(le t2 t18)
	(le t2 t19)
	(le t2 t20)
	(le t2 t21)
	(le t2 t22)
	(le t2 t23)
	(le t2 t24)
	(le t3 t3)
	(le t3 t4)
	(le t3 t5)
	(le t3 t6)
	(le t3 t7)
	(le t3 t8)
	(le t3 t9)
	(le t3 t10)
	(le t3 t11)
	(le t3 t12)
	(le t3 t13)
	(le t3 t14)
	(le t3 t15)
	(le t3 t16)
	(le t3 t17)
	(le t3 t18)
	(le t3 t19)
	(le t3 t20)
	(le t3 t21)
	(le t3 t22)
	(le t3 t23)
	(le t3 t24)
	(le t4 t4)
	(le t4 t5)
	(le t4 t6)
	(le t4 t7)
	(le t4 t8)
	(le t4 t9)
	(le t4 t10)
	(le t4 t11)
	(le t4 t12)
	(le t4 t13)
	(le t4 t14)
	(le t4 t15)
	(le t4 t16)
	(le t4 t17)
	(le t4 t18)
	(le t4 t19)
	(le t4 t20)
	(le t4 t21)
	(le t4 t22)
	(le t4 t23)
	(le t4 t24)
	(le t5 t5)
	(le t5 t6)
	(le t5 t7)
	(le t5 t8)
	(le t5 t9)
	(le t5 t10)
	(le t5 t11)
	(le t5 t12)
	(le t5 t13)
	(le t5 t14)
	(le t5 t15)
	(le t5 t16)
	(le t5 t17)
	(le t5 t18)
	(le t5 t19)
	(le t5 t20)
	(le t5 t21)
	(le t5 t22)
	(le t5 t23)
	(le t5 t24)
	(le t6 t6)
	(le t6 t7)
	(le t6 t8)
	(le t6 t9)
	(le t6 t10)
	(le t6 t11)
	(le t6 t12)
	(le t6 t13)
	(le t6 t14)
	(le t6 t15)
	(le t6 t16)
	(le t6 t17)
	(le t6 t18)
	(le t6 t19)
	(le t6 t20)
	(le t6 t21)
	(le t6 t22)
	(le t6 t23)
	(le t6 t24)
	(le t7 t7)
	(le t7 t8)
	(le t7 t9)
	(le t7 t10)
	(le t7 t11)
	(le t7 t12)
	(le t7 t13)
	(le t7 t14)
	(le t7 t15)
	(le t7 t16)
	(le t7 t17)
	(le t7 t18)
	(le t7 t19)
	(le t7 t20)
	(le t7 t21)
	(le t7 t22)
	(le t7 t23)
	(le t7 t24)
	(le t8 t8)
	(le t8 t9)
	(le t8 t10)
	(le t8 t11)
	(le t8 t12)
	(le t8 t13)
	(le t8 t14)
	(le t8 t15)
	(le t8 t16)
	(le t8 t17)
	(le t8 t18)
	(le t8 t19)
	(le t8 t20)
	(le t8 t21)
	(le t8 t22)
	(le t8 t23)
	(le t8 t24)
	(le t9 t9)
	(le t9 t10)
	(le t9 t11)
	(le t9 t12)
	(le t9 t13)
	(le t9 t14)
	(le t9 t15)
	(le t9 t16)
	(le t9 t17)
	(le t9 t18)
	(le t9 t19)
	(le t9 t20)
	(le t9 t21)
	(le t9 t22)
	(le t9 t23)
	(le t9 t24)
	(le t10 t10)
	(le t10 t11)
	(le t10 t12)
	(le t10 t13)
	(le t10 t14)
	(le t10 t15)
	(le t10 t16)
	(le t10 t17)
	(le t10 t18)
	(le t10 t19)
	(le t10 t20)
	(le t10 t21)
	(le t10 t22)
	(le t10 t23)
	(le t10 t24)
	(le t11 t11)
	(le t11 t12)
	(le t11 t13)
	(le t11 t14)
	(le t11 t15)
	(le t11 t16)
	(le t11 t17)
	(le t11 t18)
	(le t11 t19)
	(le t11 t20)
	(le t11 t21)
	(le t11 t22)
	(le t11 t23)
	(le t11 t24)
	(le t12 t12)
	(le t12 t13)
	(le t12 t14)
	(le t12 t15)
	(le t12 t16)
	(le t12 t17)
	(le t12 t18)
	(le t12 t19)
	(le t12 t20)
	(le t12 t21)
	(le t12 t22)
	(le t12 t23)
	(le t12 t24)
	(le t13 t13)
	(le t13 t14)
	(le t13 t15)
	(le t13 t16)
	(le t13 t17)
	(le t13 t18)
	(le t13 t19)
	(le t13 t20)
	(le t13 t21)
	(le t13 t22)
	(le t13 t23)
	(le t13 t24)
	(le t14 t14)
	(le t14 t15)
	(le t14 t16)
	(le t14 t17)
	(le t14 t18)
	(le t14 t19)
	(le t14 t20)
	(le t14 t21)
	(le t14 t22)
	(le t14 t23)
	(le t14 t24)
	(le t15 t15)
	(le t15 t16)
	(le t15 t17)
	(le t15 t18)
	(le t15 t19)
	(le t15 t20)
	(le t15 t21)
	(le t15 t22)
	(le t15 t23)
	(le t15 t24)
	(le t16 t16)
	(le t16 t17)
	(le t16 t18)
	(le t16 t19)
	(le t16 t20)
	(le t16 t21)
	(le t16 t22)
	(le t16 t23)
	(le t16 t24)
	(le t17 t17)
	(le t17 t18)
	(le t17 t19)
	(le t17 t20)
	(le t17 t21)
	(le t17 t22)
	(le t17 t23)
	(le t17 t24)
	(le t18 t18)
	(le t18 t19)
	(le t18 t20)
	(le t18 t21)
	(le t18 t22)
	(le t18 t23)
	(le t18 t24)
	(le t19 t19)
	(le t19 t20)
	(le t19 t21)
	(le t19 t22)
	(le t19 t23)
	(le t19 t24)
	(le t20 t20)
	(le t20 t21)
	(le t20 t22)
	(le t20 t23)
	(le t20 t24)
	(le t21 t21)
	(le t21 t22)
	(le t21 t23)
	(le t21 t24)
	(le t22 t22)
	(le t22 t23)
	(le t22 t24)
	(le t23 t23)
	(le t23 t24)
	(le t24 t24)
	(next t0 t1)
	(next t1 t2)
	(next t2 t3)
	(next t3 t4)
	(next t4 t5)
	(next t5 t6)
	(next t6 t7)
	(next t7 t8)
	(next t8 t9)
	(next t9 t10)
	(next t10 t11)
	(next t11 t12)
	(next t12 t13)
	(next t13 t14)
	(next t14 t15)
	(next t15 t16)
	(next t16 t17)
	(next t17 t18)
	(next t18 t19)
	(next t19 t20)
	(next t20 t21)
	(next t21 t22)
	(next t22 t23)
	(next t23 t24))

(:goal (and
    
(at-destination package12 l1)    
(at-destination package11 l2)    
(at-destination package10 l1)    
(at-destination package9 l1)    
(at-destination package8 l3)    
(at-destination package7 l3)    
(at-destination package6 l1)    
(at-destination package5 l1)    
(at-destination package4 l1)    
(at-destination package3 l1)    
(at-destination package2 l1)    
(at-destination package1 l3)

    (preference P13G 
        (or (delivered package12 l1 t1)
            (delivered package12 l1 t2)
            (delivered package12 l1 t3)
            (delivered package12 l1 t4)
            (delivered package12 l1 t5)
            (delivered package12 l1 t6)
            (delivered package12 l1 t7)
            (delivered package12 l1 t8)
            (delivered package12 l1 t9)
            (delivered package12 l1 t10)
            (delivered package12 l1 t11)
            (delivered package12 l1 t12)
            (delivered package12 l1 t13)
            (delivered package12 l1 t14)
            (delivered package12 l1 t15)
            (delivered package12 l1 t16)
            (delivered package12 l1 t17)
            (delivered package12 l1 t18)
            (delivered package12 l1 t19)
            (delivered package12 l1 t20)
            (delivered package12 l1 t21)
            (delivered package12 l1 t22)
            (delivered package12 l1 t23)
            (delivered package12 l1 t24)))
    (preference P12G 
        (or (delivered package12 l1 t1)
            (delivered package12 l1 t2)
            (delivered package12 l1 t3)
            (delivered package12 l1 t4)
            (delivered package12 l1 t5)
            (delivered package12 l1 t6)
            (delivered package12 l1 t7)
            (delivered package12 l1 t8)
            (delivered package12 l1 t9)
            (delivered package12 l1 t10)
            (delivered package12 l1 t11)
            (delivered package12 l1 t12)
            (delivered package12 l1 t13)
            (delivered package12 l1 t14)
            (delivered package12 l1 t15)
            (delivered package12 l1 t16)
            (delivered package12 l1 t17)
            (delivered package12 l1 t18)
            (delivered package12 l1 t19)
            (delivered package12 l1 t20)
            (delivered package12 l1 t21)
            (delivered package12 l1 t22)
            (delivered package12 l1 t23)))
    (preference P11G 
        (or (delivered package12 l1 t1)
            (delivered package12 l1 t2)
            (delivered package12 l1 t3)
            (delivered package12 l1 t4)
            (delivered package12 l1 t5)
            (delivered package12 l1 t6)
            (delivered package12 l1 t7)
            (delivered package12 l1 t8)
            (delivered package12 l1 t9)
            (delivered package12 l1 t10)
            (delivered package12 l1 t11)
            (delivered package12 l1 t12)
            (delivered package12 l1 t13)
            (delivered package12 l1 t14)
            (delivered package12 l1 t15)
            (delivered package12 l1 t16)
            (delivered package12 l1 t17)
            (delivered package12 l1 t18)
            (delivered package12 l1 t19)
            (delivered package12 l1 t20)
            (delivered package12 l1 t21)
            (delivered package12 l1 t22)))
    (preference P10G 
        (or (delivered package12 l1 t1)
            (delivered package12 l1 t2)
            (delivered package12 l1 t3)
            (delivered package12 l1 t4)
            (delivered package12 l1 t5)
            (delivered package12 l1 t6)
            (delivered package12 l1 t7)
            (delivered package12 l1 t8)
            (delivered package12 l1 t9)
            (delivered package12 l1 t10)
            (delivered package12 l1 t11)
            (delivered package12 l1 t12)
            (delivered package12 l1 t13)
            (delivered package12 l1 t14)
            (delivered package12 l1 t15)
            (delivered package12 l1 t16)
            (delivered package12 l1 t17)
            (delivered package12 l1 t18)
            (delivered package12 l1 t19)
            (delivered package12 l1 t20)
            (delivered package12 l1 t21)))
    (preference P9G 
        (or (delivered package12 l1 t1)
            (delivered package12 l1 t2)
            (delivered package12 l1 t3)
            (delivered package12 l1 t4)
            (delivered package12 l1 t5)
            (delivered package12 l1 t6)
            (delivered package12 l1 t7)
            (delivered package12 l1 t8)
            (delivered package12 l1 t9)
            (delivered package12 l1 t10)
            (delivered package12 l1 t11)
            (delivered package12 l1 t12)
            (delivered package12 l1 t13)
            (delivered package12 l1 t14)
            (delivered package12 l1 t15)
            (delivered package12 l1 t16)
            (delivered package12 l1 t17)
            (delivered package12 l1 t18)
            (delivered package12 l1 t19)
            (delivered package12 l1 t20)))
    (preference P8G 
        (or (delivered package12 l1 t1)
            (delivered package12 l1 t2)
            (delivered package12 l1 t3)
            (delivered package12 l1 t4)
            (delivered package12 l1 t5)
            (delivered package12 l1 t6)
            (delivered package12 l1 t7)
            (delivered package12 l1 t8)
            (delivered package12 l1 t9)
            (delivered package12 l1 t10)
            (delivered package12 l1 t11)
            (delivered package12 l1 t12)
            (delivered package12 l1 t13)
            (delivered package12 l1 t14)
            (delivered package12 l1 t15)
            (delivered package12 l1 t16)
            (delivered package12 l1 t17)
            (delivered package12 l1 t18)
            (delivered package12 l1 t19)))
    (preference P7G 
        (or (delivered package12 l1 t1)
            (delivered package12 l1 t2)
            (delivered package12 l1 t3)
            (delivered package12 l1 t4)
            (delivered package12 l1 t5)
            (delivered package12 l1 t6)
            (delivered package12 l1 t7)
            (delivered package12 l1 t8)
            (delivered package12 l1 t9)
            (delivered package12 l1 t10)
            (delivered package12 l1 t11)
            (delivered package12 l1 t12)
            (delivered package12 l1 t13)
            (delivered package12 l1 t14)
            (delivered package12 l1 t15)
            (delivered package12 l1 t16)
            (delivered package12 l1 t17)
            (delivered package12 l1 t18)))
    (preference P6G 
        (or (delivered package12 l1 t1)
            (delivered package12 l1 t2)
            (delivered package12 l1 t3)
            (delivered package12 l1 t4)
            (delivered package12 l1 t5)
            (delivered package12 l1 t6)
            (delivered package12 l1 t7)
            (delivered package12 l1 t8)
            (delivered package12 l1 t9)
            (delivered package12 l1 t10)
            (delivered package12 l1 t11)
            (delivered package12 l1 t12)
            (delivered package12 l1 t13)
            (delivered package12 l1 t14)
            (delivered package12 l1 t15)
            (delivered package12 l1 t16)
            (delivered package12 l1 t17)))
    (preference P5G 
        (or (delivered package12 l1 t1)
            (delivered package12 l1 t2)
            (delivered package12 l1 t3)
            (delivered package12 l1 t4)
            (delivered package12 l1 t5)
            (delivered package12 l1 t6)
            (delivered package12 l1 t7)
            (delivered package12 l1 t8)
            (delivered package12 l1 t9)
            (delivered package12 l1 t10)
            (delivered package12 l1 t11)
            (delivered package12 l1 t12)
            (delivered package12 l1 t13)
            (delivered package12 l1 t14)
            (delivered package12 l1 t15)
            (delivered package12 l1 t16)))
    (preference P4G 
        (or (delivered package12 l1 t1)
            (delivered package12 l1 t2)
            (delivered package12 l1 t3)
            (delivered package12 l1 t4)
            (delivered package12 l1 t5)
            (delivered package12 l1 t6)
            (delivered package12 l1 t7)
            (delivered package12 l1 t8)
            (delivered package12 l1 t9)
            (delivered package12 l1 t10)
            (delivered package12 l1 t11)
            (delivered package12 l1 t12)
            (delivered package12 l1 t13)
            (delivered package12 l1 t14)
            (delivered package12 l1 t15)))
    (preference P3G 
        (or (delivered package12 l1 t1)
            (delivered package12 l1 t2)
            (delivered package12 l1 t3)
            (delivered package12 l1 t4)
            (delivered package12 l1 t5)
            (delivered package12 l1 t6)
            (delivered package12 l1 t7)
            (delivered package12 l1 t8)
            (delivered package12 l1 t9)
            (delivered package12 l1 t10)
            (delivered package12 l1 t11)
            (delivered package12 l1 t12)
            (delivered package12 l1 t13)
            (delivered package12 l1 t14)))
    (preference P2G 
        (or (delivered package12 l1 t1)
            (delivered package12 l1 t2)
            (delivered package12 l1 t3)
            (delivered package12 l1 t4)
            (delivered package12 l1 t5)
            (delivered package12 l1 t6)
            (delivered package12 l1 t7)
            (delivered package12 l1 t8)
            (delivered package12 l1 t9)
            (delivered package12 l1 t10)
            (delivered package12 l1 t11)
            (delivered package12 l1 t12)
            (delivered package12 l1 t13)))
    (preference P1G 
        (or (delivered package12 l1 t1)
            (delivered package12 l1 t2)
            (delivered package12 l1 t3)
            (delivered package12 l1 t4)
            (delivered package12 l1 t5)
            (delivered package12 l1 t6)
            (delivered package12 l1 t7)
            (delivered package12 l1 t8)
            (delivered package12 l1 t9)
            (delivered package12 l1 t10)
            (delivered package12 l1 t11)
            (delivered package12 l1 t12)))
    (preference P13F 
        (or (delivered package11 l2 t1)
            (delivered package11 l2 t2)
            (delivered package11 l2 t3)
            (delivered package11 l2 t4)
            (delivered package11 l2 t5)
            (delivered package11 l2 t6)
            (delivered package11 l2 t7)
            (delivered package11 l2 t8)
            (delivered package11 l2 t9)
            (delivered package11 l2 t10)
            (delivered package11 l2 t11)
            (delivered package11 l2 t12)
            (delivered package11 l2 t13)
            (delivered package11 l2 t14)
            (delivered package11 l2 t15)
            (delivered package11 l2 t16)
            (delivered package11 l2 t17)
            (delivered package11 l2 t18)
            (delivered package11 l2 t19)
            (delivered package11 l2 t20)
            (delivered package11 l2 t21)
            (delivered package11 l2 t22)
            (delivered package11 l2 t23)
            (delivered package11 l2 t24)))
    (preference P12F 
        (or (delivered package11 l2 t1)
            (delivered package11 l2 t2)
            (delivered package11 l2 t3)
            (delivered package11 l2 t4)
            (delivered package11 l2 t5)
            (delivered package11 l2 t6)
            (delivered package11 l2 t7)
            (delivered package11 l2 t8)
            (delivered package11 l2 t9)
            (delivered package11 l2 t10)
            (delivered package11 l2 t11)
            (delivered package11 l2 t12)
            (delivered package11 l2 t13)
            (delivered package11 l2 t14)
            (delivered package11 l2 t15)
            (delivered package11 l2 t16)
            (delivered package11 l2 t17)
            (delivered package11 l2 t18)
            (delivered package11 l2 t19)
            (delivered package11 l2 t20)
            (delivered package11 l2 t21)
            (delivered package11 l2 t22)
            (delivered package11 l2 t23)))
    (preference P11F 
        (or (delivered package11 l2 t1)
            (delivered package11 l2 t2)
            (delivered package11 l2 t3)
            (delivered package11 l2 t4)
            (delivered package11 l2 t5)
            (delivered package11 l2 t6)
            (delivered package11 l2 t7)
            (delivered package11 l2 t8)
            (delivered package11 l2 t9)
            (delivered package11 l2 t10)
            (delivered package11 l2 t11)
            (delivered package11 l2 t12)
            (delivered package11 l2 t13)
            (delivered package11 l2 t14)
            (delivered package11 l2 t15)
            (delivered package11 l2 t16)
            (delivered package11 l2 t17)
            (delivered package11 l2 t18)
            (delivered package11 l2 t19)
            (delivered package11 l2 t20)
            (delivered package11 l2 t21)
            (delivered package11 l2 t22)))
    (preference P10F 
        (or (delivered package11 l2 t1)
            (delivered package11 l2 t2)
            (delivered package11 l2 t3)
            (delivered package11 l2 t4)
            (delivered package11 l2 t5)
            (delivered package11 l2 t6)
            (delivered package11 l2 t7)
            (delivered package11 l2 t8)
            (delivered package11 l2 t9)
            (delivered package11 l2 t10)
            (delivered package11 l2 t11)
            (delivered package11 l2 t12)
            (delivered package11 l2 t13)
            (delivered package11 l2 t14)
            (delivered package11 l2 t15)
            (delivered package11 l2 t16)
            (delivered package11 l2 t17)
            (delivered package11 l2 t18)
            (delivered package11 l2 t19)
            (delivered package11 l2 t20)
            (delivered package11 l2 t21)))
    (preference P9F 
        (or (delivered package11 l2 t1)
            (delivered package11 l2 t2)
            (delivered package11 l2 t3)
            (delivered package11 l2 t4)
            (delivered package11 l2 t5)
            (delivered package11 l2 t6)
            (delivered package11 l2 t7)
            (delivered package11 l2 t8)
            (delivered package11 l2 t9)
            (delivered package11 l2 t10)
            (delivered package11 l2 t11)
            (delivered package11 l2 t12)
            (delivered package11 l2 t13)
            (delivered package11 l2 t14)
            (delivered package11 l2 t15)
            (delivered package11 l2 t16)
            (delivered package11 l2 t17)
            (delivered package11 l2 t18)
            (delivered package11 l2 t19)
            (delivered package11 l2 t20)))
    (preference P8F 
        (or (delivered package11 l2 t1)
            (delivered package11 l2 t2)
            (delivered package11 l2 t3)
            (delivered package11 l2 t4)
            (delivered package11 l2 t5)
            (delivered package11 l2 t6)
            (delivered package11 l2 t7)
            (delivered package11 l2 t8)
            (delivered package11 l2 t9)
            (delivered package11 l2 t10)
            (delivered package11 l2 t11)
            (delivered package11 l2 t12)
            (delivered package11 l2 t13)
            (delivered package11 l2 t14)
            (delivered package11 l2 t15)
            (delivered package11 l2 t16)
            (delivered package11 l2 t17)
            (delivered package11 l2 t18)
            (delivered package11 l2 t19)))
    (preference P7F 
        (or (delivered package11 l2 t1)
            (delivered package11 l2 t2)
            (delivered package11 l2 t3)
            (delivered package11 l2 t4)
            (delivered package11 l2 t5)
            (delivered package11 l2 t6)
            (delivered package11 l2 t7)
            (delivered package11 l2 t8)
            (delivered package11 l2 t9)
            (delivered package11 l2 t10)
            (delivered package11 l2 t11)
            (delivered package11 l2 t12)
            (delivered package11 l2 t13)
            (delivered package11 l2 t14)
            (delivered package11 l2 t15)
            (delivered package11 l2 t16)
            (delivered package11 l2 t17)
            (delivered package11 l2 t18)))
    (preference P6F 
        (or (delivered package11 l2 t1)
            (delivered package11 l2 t2)
            (delivered package11 l2 t3)
            (delivered package11 l2 t4)
            (delivered package11 l2 t5)
            (delivered package11 l2 t6)
            (delivered package11 l2 t7)
            (delivered package11 l2 t8)
            (delivered package11 l2 t9)
            (delivered package11 l2 t10)
            (delivered package11 l2 t11)
            (delivered package11 l2 t12)
            (delivered package11 l2 t13)
            (delivered package11 l2 t14)
            (delivered package11 l2 t15)
            (delivered package11 l2 t16)
            (delivered package11 l2 t17)))
    (preference P5F 
        (or (delivered package11 l2 t1)
            (delivered package11 l2 t2)
            (delivered package11 l2 t3)
            (delivered package11 l2 t4)
            (delivered package11 l2 t5)
            (delivered package11 l2 t6)
            (delivered package11 l2 t7)
            (delivered package11 l2 t8)
            (delivered package11 l2 t9)
            (delivered package11 l2 t10)
            (delivered package11 l2 t11)
            (delivered package11 l2 t12)
            (delivered package11 l2 t13)
            (delivered package11 l2 t14)
            (delivered package11 l2 t15)
            (delivered package11 l2 t16)))
    (preference P4F 
        (or (delivered package11 l2 t1)
            (delivered package11 l2 t2)
            (delivered package11 l2 t3)
            (delivered package11 l2 t4)
            (delivered package11 l2 t5)
            (delivered package11 l2 t6)
            (delivered package11 l2 t7)
            (delivered package11 l2 t8)
            (delivered package11 l2 t9)
            (delivered package11 l2 t10)
            (delivered package11 l2 t11)
            (delivered package11 l2 t12)
            (delivered package11 l2 t13)
            (delivered package11 l2 t14)
            (delivered package11 l2 t15)))
    (preference P3F 
        (or (delivered package11 l2 t1)
            (delivered package11 l2 t2)
            (delivered package11 l2 t3)
            (delivered package11 l2 t4)
            (delivered package11 l2 t5)
            (delivered package11 l2 t6)
            (delivered package11 l2 t7)
            (delivered package11 l2 t8)
            (delivered package11 l2 t9)
            (delivered package11 l2 t10)
            (delivered package11 l2 t11)
            (delivered package11 l2 t12)
            (delivered package11 l2 t13)
            (delivered package11 l2 t14)))
    (preference P2F 
        (or (delivered package11 l2 t1)
            (delivered package11 l2 t2)
            (delivered package11 l2 t3)
            (delivered package11 l2 t4)
            (delivered package11 l2 t5)
            (delivered package11 l2 t6)
            (delivered package11 l2 t7)
            (delivered package11 l2 t8)
            (delivered package11 l2 t9)
            (delivered package11 l2 t10)
            (delivered package11 l2 t11)
            (delivered package11 l2 t12)
            (delivered package11 l2 t13)))
    (preference P1F 
        (or (delivered package11 l2 t1)
            (delivered package11 l2 t2)
            (delivered package11 l2 t3)
            (delivered package11 l2 t4)
            (delivered package11 l2 t5)
            (delivered package11 l2 t6)
            (delivered package11 l2 t7)
            (delivered package11 l2 t8)
            (delivered package11 l2 t9)
            (delivered package11 l2 t10)
            (delivered package11 l2 t11)
            (delivered package11 l2 t12)))
    (preference P13E 
        (or (delivered package10 l1 t1)
            (delivered package10 l1 t2)
            (delivered package10 l1 t3)
            (delivered package10 l1 t4)
            (delivered package10 l1 t5)
            (delivered package10 l1 t6)
            (delivered package10 l1 t7)
            (delivered package10 l1 t8)
            (delivered package10 l1 t9)
            (delivered package10 l1 t10)
            (delivered package10 l1 t11)
            (delivered package10 l1 t12)
            (delivered package10 l1 t13)
            (delivered package10 l1 t14)
            (delivered package10 l1 t15)
            (delivered package10 l1 t16)
            (delivered package10 l1 t17)
            (delivered package10 l1 t18)
            (delivered package10 l1 t19)
            (delivered package10 l1 t20)
            (delivered package10 l1 t21)
            (delivered package10 l1 t22)
            (delivered package10 l1 t23)
            (delivered package10 l1 t24)))
    (preference P12E 
        (or (delivered package10 l1 t1)
            (delivered package10 l1 t2)
            (delivered package10 l1 t3)
            (delivered package10 l1 t4)
            (delivered package10 l1 t5)
            (delivered package10 l1 t6)
            (delivered package10 l1 t7)
            (delivered package10 l1 t8)
            (delivered package10 l1 t9)
            (delivered package10 l1 t10)
            (delivered package10 l1 t11)
            (delivered package10 l1 t12)
            (delivered package10 l1 t13)
            (delivered package10 l1 t14)
            (delivered package10 l1 t15)
            (delivered package10 l1 t16)
            (delivered package10 l1 t17)
            (delivered package10 l1 t18)
            (delivered package10 l1 t19)
            (delivered package10 l1 t20)
            (delivered package10 l1 t21)
            (delivered package10 l1 t22)
            (delivered package10 l1 t23)))
    (preference P11E 
        (or (delivered package10 l1 t1)
            (delivered package10 l1 t2)
            (delivered package10 l1 t3)
            (delivered package10 l1 t4)
            (delivered package10 l1 t5)
            (delivered package10 l1 t6)
            (delivered package10 l1 t7)
            (delivered package10 l1 t8)
            (delivered package10 l1 t9)
            (delivered package10 l1 t10)
            (delivered package10 l1 t11)
            (delivered package10 l1 t12)
            (delivered package10 l1 t13)
            (delivered package10 l1 t14)
            (delivered package10 l1 t15)
            (delivered package10 l1 t16)
            (delivered package10 l1 t17)
            (delivered package10 l1 t18)
            (delivered package10 l1 t19)
            (delivered package10 l1 t20)
            (delivered package10 l1 t21)
            (delivered package10 l1 t22)))
    (preference P10E 
        (or (delivered package10 l1 t1)
            (delivered package10 l1 t2)
            (delivered package10 l1 t3)
            (delivered package10 l1 t4)
            (delivered package10 l1 t5)
            (delivered package10 l1 t6)
            (delivered package10 l1 t7)
            (delivered package10 l1 t8)
            (delivered package10 l1 t9)
            (delivered package10 l1 t10)
            (delivered package10 l1 t11)
            (delivered package10 l1 t12)
            (delivered package10 l1 t13)
            (delivered package10 l1 t14)
            (delivered package10 l1 t15)
            (delivered package10 l1 t16)
            (delivered package10 l1 t17)
            (delivered package10 l1 t18)
            (delivered package10 l1 t19)
            (delivered package10 l1 t20)
            (delivered package10 l1 t21)))
    (preference P9E 
        (or (delivered package10 l1 t1)
            (delivered package10 l1 t2)
            (delivered package10 l1 t3)
            (delivered package10 l1 t4)
            (delivered package10 l1 t5)
            (delivered package10 l1 t6)
            (delivered package10 l1 t7)
            (delivered package10 l1 t8)
            (delivered package10 l1 t9)
            (delivered package10 l1 t10)
            (delivered package10 l1 t11)
            (delivered package10 l1 t12)
            (delivered package10 l1 t13)
            (delivered package10 l1 t14)
            (delivered package10 l1 t15)
            (delivered package10 l1 t16)
            (delivered package10 l1 t17)
            (delivered package10 l1 t18)
            (delivered package10 l1 t19)
            (delivered package10 l1 t20)))
    (preference P8E 
        (or (delivered package10 l1 t1)
            (delivered package10 l1 t2)
            (delivered package10 l1 t3)
            (delivered package10 l1 t4)
            (delivered package10 l1 t5)
            (delivered package10 l1 t6)
            (delivered package10 l1 t7)
            (delivered package10 l1 t8)
            (delivered package10 l1 t9)
            (delivered package10 l1 t10)
            (delivered package10 l1 t11)
            (delivered package10 l1 t12)
            (delivered package10 l1 t13)
            (delivered package10 l1 t14)
            (delivered package10 l1 t15)
            (delivered package10 l1 t16)
            (delivered package10 l1 t17)
            (delivered package10 l1 t18)
            (delivered package10 l1 t19)))
    (preference P7E 
        (or (delivered package10 l1 t1)
            (delivered package10 l1 t2)
            (delivered package10 l1 t3)
            (delivered package10 l1 t4)
            (delivered package10 l1 t5)
            (delivered package10 l1 t6)
            (delivered package10 l1 t7)
            (delivered package10 l1 t8)
            (delivered package10 l1 t9)
            (delivered package10 l1 t10)
            (delivered package10 l1 t11)
            (delivered package10 l1 t12)
            (delivered package10 l1 t13)
            (delivered package10 l1 t14)
            (delivered package10 l1 t15)
            (delivered package10 l1 t16)
            (delivered package10 l1 t17)
            (delivered package10 l1 t18)))
    (preference P6E 
        (or (delivered package10 l1 t1)
            (delivered package10 l1 t2)
            (delivered package10 l1 t3)
            (delivered package10 l1 t4)
            (delivered package10 l1 t5)
            (delivered package10 l1 t6)
            (delivered package10 l1 t7)
            (delivered package10 l1 t8)
            (delivered package10 l1 t9)
            (delivered package10 l1 t10)
            (delivered package10 l1 t11)
            (delivered package10 l1 t12)
            (delivered package10 l1 t13)
            (delivered package10 l1 t14)
            (delivered package10 l1 t15)
            (delivered package10 l1 t16)
            (delivered package10 l1 t17)))
    (preference P5E 
        (or (delivered package10 l1 t1)
            (delivered package10 l1 t2)
            (delivered package10 l1 t3)
            (delivered package10 l1 t4)
            (delivered package10 l1 t5)
            (delivered package10 l1 t6)
            (delivered package10 l1 t7)
            (delivered package10 l1 t8)
            (delivered package10 l1 t9)
            (delivered package10 l1 t10)
            (delivered package10 l1 t11)
            (delivered package10 l1 t12)
            (delivered package10 l1 t13)
            (delivered package10 l1 t14)
            (delivered package10 l1 t15)
            (delivered package10 l1 t16)))
    (preference P4E 
        (or (delivered package10 l1 t1)
            (delivered package10 l1 t2)
            (delivered package10 l1 t3)
            (delivered package10 l1 t4)
            (delivered package10 l1 t5)
            (delivered package10 l1 t6)
            (delivered package10 l1 t7)
            (delivered package10 l1 t8)
            (delivered package10 l1 t9)
            (delivered package10 l1 t10)
            (delivered package10 l1 t11)
            (delivered package10 l1 t12)
            (delivered package10 l1 t13)
            (delivered package10 l1 t14)
            (delivered package10 l1 t15)))
    (preference P3E 
        (or (delivered package10 l1 t1)
            (delivered package10 l1 t2)
            (delivered package10 l1 t3)
            (delivered package10 l1 t4)
            (delivered package10 l1 t5)
            (delivered package10 l1 t6)
            (delivered package10 l1 t7)
            (delivered package10 l1 t8)
            (delivered package10 l1 t9)
            (delivered package10 l1 t10)
            (delivered package10 l1 t11)
            (delivered package10 l1 t12)
            (delivered package10 l1 t13)
            (delivered package10 l1 t14)))
    (preference P2E 
        (or (delivered package10 l1 t1)
            (delivered package10 l1 t2)
            (delivered package10 l1 t3)
            (delivered package10 l1 t4)
            (delivered package10 l1 t5)
            (delivered package10 l1 t6)
            (delivered package10 l1 t7)
            (delivered package10 l1 t8)
            (delivered package10 l1 t9)
            (delivered package10 l1 t10)
            (delivered package10 l1 t11)
            (delivered package10 l1 t12)
            (delivered package10 l1 t13)))
    (preference P1E 
        (or (delivered package10 l1 t1)
            (delivered package10 l1 t2)
            (delivered package10 l1 t3)
            (delivered package10 l1 t4)
            (delivered package10 l1 t5)
            (delivered package10 l1 t6)
            (delivered package10 l1 t7)
            (delivered package10 l1 t8)
            (delivered package10 l1 t9)
            (delivered package10 l1 t10)
            (delivered package10 l1 t11)
            (delivered package10 l1 t12)))
    (preference P16D 
        (or (delivered package7 l3 t1)
            (delivered package7 l3 t2)
            (delivered package7 l3 t3)
            (delivered package7 l3 t4)
            (delivered package7 l3 t5)
            (delivered package7 l3 t6)
            (delivered package7 l3 t7)
            (delivered package7 l3 t8)
            (delivered package7 l3 t9)
            (delivered package7 l3 t10)
            (delivered package7 l3 t11)
            (delivered package7 l3 t12)
            (delivered package7 l3 t13)
            (delivered package7 l3 t14)
            (delivered package7 l3 t15)
            (delivered package7 l3 t16)
            (delivered package7 l3 t17)
            (delivered package7 l3 t18)
            (delivered package7 l3 t19)
            (delivered package7 l3 t20)
            (delivered package7 l3 t21)
            (delivered package7 l3 t22)
            (delivered package7 l3 t23)
            (delivered package7 l3 t24)))
    (preference P15D 
        (or (delivered package7 l3 t1)
            (delivered package7 l3 t2)
            (delivered package7 l3 t3)
            (delivered package7 l3 t4)
            (delivered package7 l3 t5)
            (delivered package7 l3 t6)
            (delivered package7 l3 t7)
            (delivered package7 l3 t8)
            (delivered package7 l3 t9)
            (delivered package7 l3 t10)
            (delivered package7 l3 t11)
            (delivered package7 l3 t12)
            (delivered package7 l3 t13)
            (delivered package7 l3 t14)
            (delivered package7 l3 t15)
            (delivered package7 l3 t16)
            (delivered package7 l3 t17)
            (delivered package7 l3 t18)
            (delivered package7 l3 t19)
            (delivered package7 l3 t20)
            (delivered package7 l3 t21)
            (delivered package7 l3 t22)
            (delivered package7 l3 t23)))
    (preference P14D 
        (or (delivered package7 l3 t1)
            (delivered package7 l3 t2)
            (delivered package7 l3 t3)
            (delivered package7 l3 t4)
            (delivered package7 l3 t5)
            (delivered package7 l3 t6)
            (delivered package7 l3 t7)
            (delivered package7 l3 t8)
            (delivered package7 l3 t9)
            (delivered package7 l3 t10)
            (delivered package7 l3 t11)
            (delivered package7 l3 t12)
            (delivered package7 l3 t13)
            (delivered package7 l3 t14)
            (delivered package7 l3 t15)
            (delivered package7 l3 t16)
            (delivered package7 l3 t17)
            (delivered package7 l3 t18)
            (delivered package7 l3 t19)
            (delivered package7 l3 t20)
            (delivered package7 l3 t21)
            (delivered package7 l3 t22)))
    (preference P13D 
        (or (delivered package7 l3 t1)
            (delivered package7 l3 t2)
            (delivered package7 l3 t3)
            (delivered package7 l3 t4)
            (delivered package7 l3 t5)
            (delivered package7 l3 t6)
            (delivered package7 l3 t7)
            (delivered package7 l3 t8)
            (delivered package7 l3 t9)
            (delivered package7 l3 t10)
            (delivered package7 l3 t11)
            (delivered package7 l3 t12)
            (delivered package7 l3 t13)
            (delivered package7 l3 t14)
            (delivered package7 l3 t15)
            (delivered package7 l3 t16)
            (delivered package7 l3 t17)
            (delivered package7 l3 t18)
            (delivered package7 l3 t19)
            (delivered package7 l3 t20)
            (delivered package7 l3 t21)))
    (preference P12D 
        (or (delivered package7 l3 t1)
            (delivered package7 l3 t2)
            (delivered package7 l3 t3)
            (delivered package7 l3 t4)
            (delivered package7 l3 t5)
            (delivered package7 l3 t6)
            (delivered package7 l3 t7)
            (delivered package7 l3 t8)
            (delivered package7 l3 t9)
            (delivered package7 l3 t10)
            (delivered package7 l3 t11)
            (delivered package7 l3 t12)
            (delivered package7 l3 t13)
            (delivered package7 l3 t14)
            (delivered package7 l3 t15)
            (delivered package7 l3 t16)
            (delivered package7 l3 t17)
            (delivered package7 l3 t18)
            (delivered package7 l3 t19)
            (delivered package7 l3 t20)))
    (preference P11D 
        (or (delivered package7 l3 t1)
            (delivered package7 l3 t2)
            (delivered package7 l3 t3)
            (delivered package7 l3 t4)
            (delivered package7 l3 t5)
            (delivered package7 l3 t6)
            (delivered package7 l3 t7)
            (delivered package7 l3 t8)
            (delivered package7 l3 t9)
            (delivered package7 l3 t10)
            (delivered package7 l3 t11)
            (delivered package7 l3 t12)
            (delivered package7 l3 t13)
            (delivered package7 l3 t14)
            (delivered package7 l3 t15)
            (delivered package7 l3 t16)
            (delivered package7 l3 t17)
            (delivered package7 l3 t18)
            (delivered package7 l3 t19)))
    (preference P10D 
        (or (delivered package7 l3 t1)
            (delivered package7 l3 t2)
            (delivered package7 l3 t3)
            (delivered package7 l3 t4)
            (delivered package7 l3 t5)
            (delivered package7 l3 t6)
            (delivered package7 l3 t7)
            (delivered package7 l3 t8)
            (delivered package7 l3 t9)
            (delivered package7 l3 t10)
            (delivered package7 l3 t11)
            (delivered package7 l3 t12)
            (delivered package7 l3 t13)
            (delivered package7 l3 t14)
            (delivered package7 l3 t15)
            (delivered package7 l3 t16)
            (delivered package7 l3 t17)
            (delivered package7 l3 t18)))
    (preference P9D 
        (or (delivered package7 l3 t1)
            (delivered package7 l3 t2)
            (delivered package7 l3 t3)
            (delivered package7 l3 t4)
            (delivered package7 l3 t5)
            (delivered package7 l3 t6)
            (delivered package7 l3 t7)
            (delivered package7 l3 t8)
            (delivered package7 l3 t9)
            (delivered package7 l3 t10)
            (delivered package7 l3 t11)
            (delivered package7 l3 t12)
            (delivered package7 l3 t13)
            (delivered package7 l3 t14)
            (delivered package7 l3 t15)
            (delivered package7 l3 t16)
            (delivered package7 l3 t17)))
    (preference P8D 
        (or (delivered package7 l3 t1)
            (delivered package7 l3 t2)
            (delivered package7 l3 t3)
            (delivered package7 l3 t4)
            (delivered package7 l3 t5)
            (delivered package7 l3 t6)
            (delivered package7 l3 t7)
            (delivered package7 l3 t8)
            (delivered package7 l3 t9)
            (delivered package7 l3 t10)
            (delivered package7 l3 t11)
            (delivered package7 l3 t12)
            (delivered package7 l3 t13)
            (delivered package7 l3 t14)
            (delivered package7 l3 t15)
            (delivered package7 l3 t16)))
    (preference P7D 
        (or (delivered package7 l3 t1)
            (delivered package7 l3 t2)
            (delivered package7 l3 t3)
            (delivered package7 l3 t4)
            (delivered package7 l3 t5)
            (delivered package7 l3 t6)
            (delivered package7 l3 t7)
            (delivered package7 l3 t8)
            (delivered package7 l3 t9)
            (delivered package7 l3 t10)
            (delivered package7 l3 t11)
            (delivered package7 l3 t12)
            (delivered package7 l3 t13)
            (delivered package7 l3 t14)
            (delivered package7 l3 t15)))
    (preference P6D 
        (or (delivered package7 l3 t1)
            (delivered package7 l3 t2)
            (delivered package7 l3 t3)
            (delivered package7 l3 t4)
            (delivered package7 l3 t5)
            (delivered package7 l3 t6)
            (delivered package7 l3 t7)
            (delivered package7 l3 t8)
            (delivered package7 l3 t9)
            (delivered package7 l3 t10)
            (delivered package7 l3 t11)
            (delivered package7 l3 t12)
            (delivered package7 l3 t13)
            (delivered package7 l3 t14)))
    (preference P5D 
        (or (delivered package7 l3 t1)
            (delivered package7 l3 t2)
            (delivered package7 l3 t3)
            (delivered package7 l3 t4)
            (delivered package7 l3 t5)
            (delivered package7 l3 t6)
            (delivered package7 l3 t7)
            (delivered package7 l3 t8)
            (delivered package7 l3 t9)
            (delivered package7 l3 t10)
            (delivered package7 l3 t11)
            (delivered package7 l3 t12)
            (delivered package7 l3 t13)))
    (preference P4D 
        (or (delivered package7 l3 t1)
            (delivered package7 l3 t2)
            (delivered package7 l3 t3)
            (delivered package7 l3 t4)
            (delivered package7 l3 t5)
            (delivered package7 l3 t6)
            (delivered package7 l3 t7)
            (delivered package7 l3 t8)
            (delivered package7 l3 t9)
            (delivered package7 l3 t10)
            (delivered package7 l3 t11)
            (delivered package7 l3 t12)))
    (preference P3D 
        (or (delivered package7 l3 t1)
            (delivered package7 l3 t2)
            (delivered package7 l3 t3)
            (delivered package7 l3 t4)
            (delivered package7 l3 t5)
            (delivered package7 l3 t6)
            (delivered package7 l3 t7)
            (delivered package7 l3 t8)
            (delivered package7 l3 t9)
            (delivered package7 l3 t10)
            (delivered package7 l3 t11)))
    (preference P2D 
        (or (delivered package7 l3 t1)
            (delivered package7 l3 t2)
            (delivered package7 l3 t3)
            (delivered package7 l3 t4)
            (delivered package7 l3 t5)
            (delivered package7 l3 t6)
            (delivered package7 l3 t7)
            (delivered package7 l3 t8)
            (delivered package7 l3 t9)
            (delivered package7 l3 t10)))
    (preference P1D 
        (or (delivered package7 l3 t1)
            (delivered package7 l3 t2)
            (delivered package7 l3 t3)
            (delivered package7 l3 t4)
            (delivered package7 l3 t5)
            (delivered package7 l3 t6)
            (delivered package7 l3 t7)
            (delivered package7 l3 t8)
            (delivered package7 l3 t9)))
    (preference P19C 
        (or (delivered package4 l1 t1)
            (delivered package4 l1 t2)
            (delivered package4 l1 t3)
            (delivered package4 l1 t4)
            (delivered package4 l1 t5)
            (delivered package4 l1 t6)
            (delivered package4 l1 t7)
            (delivered package4 l1 t8)
            (delivered package4 l1 t9)
            (delivered package4 l1 t10)
            (delivered package4 l1 t11)
            (delivered package4 l1 t12)
            (delivered package4 l1 t13)
            (delivered package4 l1 t14)
            (delivered package4 l1 t15)
            (delivered package4 l1 t16)
            (delivered package4 l1 t17)
            (delivered package4 l1 t18)
            (delivered package4 l1 t19)
            (delivered package4 l1 t20)
            (delivered package4 l1 t21)
            (delivered package4 l1 t22)
            (delivered package4 l1 t23)
            (delivered package4 l1 t24)))
    (preference P18C 
        (or (delivered package4 l1 t1)
            (delivered package4 l1 t2)
            (delivered package4 l1 t3)
            (delivered package4 l1 t4)
            (delivered package4 l1 t5)
            (delivered package4 l1 t6)
            (delivered package4 l1 t7)
            (delivered package4 l1 t8)
            (delivered package4 l1 t9)
            (delivered package4 l1 t10)
            (delivered package4 l1 t11)
            (delivered package4 l1 t12)
            (delivered package4 l1 t13)
            (delivered package4 l1 t14)
            (delivered package4 l1 t15)
            (delivered package4 l1 t16)
            (delivered package4 l1 t17)
            (delivered package4 l1 t18)
            (delivered package4 l1 t19)
            (delivered package4 l1 t20)
            (delivered package4 l1 t21)
            (delivered package4 l1 t22)
            (delivered package4 l1 t23)))
    (preference P17C 
        (or (delivered package4 l1 t1)
            (delivered package4 l1 t2)
            (delivered package4 l1 t3)
            (delivered package4 l1 t4)
            (delivered package4 l1 t5)
            (delivered package4 l1 t6)
            (delivered package4 l1 t7)
            (delivered package4 l1 t8)
            (delivered package4 l1 t9)
            (delivered package4 l1 t10)
            (delivered package4 l1 t11)
            (delivered package4 l1 t12)
            (delivered package4 l1 t13)
            (delivered package4 l1 t14)
            (delivered package4 l1 t15)
            (delivered package4 l1 t16)
            (delivered package4 l1 t17)
            (delivered package4 l1 t18)
            (delivered package4 l1 t19)
            (delivered package4 l1 t20)
            (delivered package4 l1 t21)
            (delivered package4 l1 t22)))
    (preference P16C 
        (or (delivered package4 l1 t1)
            (delivered package4 l1 t2)
            (delivered package4 l1 t3)
            (delivered package4 l1 t4)
            (delivered package4 l1 t5)
            (delivered package4 l1 t6)
            (delivered package4 l1 t7)
            (delivered package4 l1 t8)
            (delivered package4 l1 t9)
            (delivered package4 l1 t10)
            (delivered package4 l1 t11)
            (delivered package4 l1 t12)
            (delivered package4 l1 t13)
            (delivered package4 l1 t14)
            (delivered package4 l1 t15)
            (delivered package4 l1 t16)
            (delivered package4 l1 t17)
            (delivered package4 l1 t18)
            (delivered package4 l1 t19)
            (delivered package4 l1 t20)
            (delivered package4 l1 t21)))
    (preference P15C 
        (or (delivered package4 l1 t1)
            (delivered package4 l1 t2)
            (delivered package4 l1 t3)
            (delivered package4 l1 t4)
            (delivered package4 l1 t5)
            (delivered package4 l1 t6)
            (delivered package4 l1 t7)
            (delivered package4 l1 t8)
            (delivered package4 l1 t9)
            (delivered package4 l1 t10)
            (delivered package4 l1 t11)
            (delivered package4 l1 t12)
            (delivered package4 l1 t13)
            (delivered package4 l1 t14)
            (delivered package4 l1 t15)
            (delivered package4 l1 t16)
            (delivered package4 l1 t17)
            (delivered package4 l1 t18)
            (delivered package4 l1 t19)
            (delivered package4 l1 t20)))
    (preference P14C 
        (or (delivered package4 l1 t1)
            (delivered package4 l1 t2)
            (delivered package4 l1 t3)
            (delivered package4 l1 t4)
            (delivered package4 l1 t5)
            (delivered package4 l1 t6)
            (delivered package4 l1 t7)
            (delivered package4 l1 t8)
            (delivered package4 l1 t9)
            (delivered package4 l1 t10)
            (delivered package4 l1 t11)
            (delivered package4 l1 t12)
            (delivered package4 l1 t13)
            (delivered package4 l1 t14)
            (delivered package4 l1 t15)
            (delivered package4 l1 t16)
            (delivered package4 l1 t17)
            (delivered package4 l1 t18)
            (delivered package4 l1 t19)))
    (preference P13C 
        (or (delivered package4 l1 t1)
            (delivered package4 l1 t2)
            (delivered package4 l1 t3)
            (delivered package4 l1 t4)
            (delivered package4 l1 t5)
            (delivered package4 l1 t6)
            (delivered package4 l1 t7)
            (delivered package4 l1 t8)
            (delivered package4 l1 t9)
            (delivered package4 l1 t10)
            (delivered package4 l1 t11)
            (delivered package4 l1 t12)
            (delivered package4 l1 t13)
            (delivered package4 l1 t14)
            (delivered package4 l1 t15)
            (delivered package4 l1 t16)
            (delivered package4 l1 t17)
            (delivered package4 l1 t18)))
    (preference P12C 
        (or (delivered package4 l1 t1)
            (delivered package4 l1 t2)
            (delivered package4 l1 t3)
            (delivered package4 l1 t4)
            (delivered package4 l1 t5)
            (delivered package4 l1 t6)
            (delivered package4 l1 t7)
            (delivered package4 l1 t8)
            (delivered package4 l1 t9)
            (delivered package4 l1 t10)
            (delivered package4 l1 t11)
            (delivered package4 l1 t12)
            (delivered package4 l1 t13)
            (delivered package4 l1 t14)
            (delivered package4 l1 t15)
            (delivered package4 l1 t16)
            (delivered package4 l1 t17)))
    (preference P11C 
        (or (delivered package4 l1 t1)
            (delivered package4 l1 t2)
            (delivered package4 l1 t3)
            (delivered package4 l1 t4)
            (delivered package4 l1 t5)
            (delivered package4 l1 t6)
            (delivered package4 l1 t7)
            (delivered package4 l1 t8)
            (delivered package4 l1 t9)
            (delivered package4 l1 t10)
            (delivered package4 l1 t11)
            (delivered package4 l1 t12)
            (delivered package4 l1 t13)
            (delivered package4 l1 t14)
            (delivered package4 l1 t15)
            (delivered package4 l1 t16)))
    (preference P10C 
        (or (delivered package4 l1 t1)
            (delivered package4 l1 t2)
            (delivered package4 l1 t3)
            (delivered package4 l1 t4)
            (delivered package4 l1 t5)
            (delivered package4 l1 t6)
            (delivered package4 l1 t7)
            (delivered package4 l1 t8)
            (delivered package4 l1 t9)
            (delivered package4 l1 t10)
            (delivered package4 l1 t11)
            (delivered package4 l1 t12)
            (delivered package4 l1 t13)
            (delivered package4 l1 t14)
            (delivered package4 l1 t15)))
    (preference P9C 
        (or (delivered package4 l1 t1)
            (delivered package4 l1 t2)
            (delivered package4 l1 t3)
            (delivered package4 l1 t4)
            (delivered package4 l1 t5)
            (delivered package4 l1 t6)
            (delivered package4 l1 t7)
            (delivered package4 l1 t8)
            (delivered package4 l1 t9)
            (delivered package4 l1 t10)
            (delivered package4 l1 t11)
            (delivered package4 l1 t12)
            (delivered package4 l1 t13)
            (delivered package4 l1 t14)))
    (preference P8C 
        (or (delivered package4 l1 t1)
            (delivered package4 l1 t2)
            (delivered package4 l1 t3)
            (delivered package4 l1 t4)
            (delivered package4 l1 t5)
            (delivered package4 l1 t6)
            (delivered package4 l1 t7)
            (delivered package4 l1 t8)
            (delivered package4 l1 t9)
            (delivered package4 l1 t10)
            (delivered package4 l1 t11)
            (delivered package4 l1 t12)
            (delivered package4 l1 t13)))
    (preference P7C 
        (or (delivered package4 l1 t1)
            (delivered package4 l1 t2)
            (delivered package4 l1 t3)
            (delivered package4 l1 t4)
            (delivered package4 l1 t5)
            (delivered package4 l1 t6)
            (delivered package4 l1 t7)
            (delivered package4 l1 t8)
            (delivered package4 l1 t9)
            (delivered package4 l1 t10)
            (delivered package4 l1 t11)
            (delivered package4 l1 t12)))
    (preference P6C 
        (or (delivered package4 l1 t1)
            (delivered package4 l1 t2)
            (delivered package4 l1 t3)
            (delivered package4 l1 t4)
            (delivered package4 l1 t5)
            (delivered package4 l1 t6)
            (delivered package4 l1 t7)
            (delivered package4 l1 t8)
            (delivered package4 l1 t9)
            (delivered package4 l1 t10)
            (delivered package4 l1 t11)))
    (preference P5C 
        (or (delivered package4 l1 t1)
            (delivered package4 l1 t2)
            (delivered package4 l1 t3)
            (delivered package4 l1 t4)
            (delivered package4 l1 t5)
            (delivered package4 l1 t6)
            (delivered package4 l1 t7)
            (delivered package4 l1 t8)
            (delivered package4 l1 t9)
            (delivered package4 l1 t10)))
    (preference P4C 
        (or (delivered package4 l1 t1)
            (delivered package4 l1 t2)
            (delivered package4 l1 t3)
            (delivered package4 l1 t4)
            (delivered package4 l1 t5)
            (delivered package4 l1 t6)
            (delivered package4 l1 t7)
            (delivered package4 l1 t8)
            (delivered package4 l1 t9)))
    (preference P3C 
        (or (delivered package4 l1 t1)
            (delivered package4 l1 t2)
            (delivered package4 l1 t3)
            (delivered package4 l1 t4)
            (delivered package4 l1 t5)
            (delivered package4 l1 t6)
            (delivered package4 l1 t7)
            (delivered package4 l1 t8)))
    (preference P2C 
        (or (delivered package4 l1 t1)
            (delivered package4 l1 t2)
            (delivered package4 l1 t3)
            (delivered package4 l1 t4)
            (delivered package4 l1 t5)
            (delivered package4 l1 t6)
            (delivered package4 l1 t7)))
    (preference P1C 
        (or (delivered package4 l1 t1)
            (delivered package4 l1 t2)
            (delivered package4 l1 t3)
            (delivered package4 l1 t4)
            (delivered package4 l1 t5)
            (delivered package4 l1 t6)))
    (preference P22B 
        (or (delivered package2 l1 t1)
            (delivered package2 l1 t2)
            (delivered package2 l1 t3)
            (delivered package2 l1 t4)
            (delivered package2 l1 t5)
            (delivered package2 l1 t6)
            (delivered package2 l1 t7)
            (delivered package2 l1 t8)
            (delivered package2 l1 t9)
            (delivered package2 l1 t10)
            (delivered package2 l1 t11)
            (delivered package2 l1 t12)
            (delivered package2 l1 t13)
            (delivered package2 l1 t14)
            (delivered package2 l1 t15)
            (delivered package2 l1 t16)
            (delivered package2 l1 t17)
            (delivered package2 l1 t18)
            (delivered package2 l1 t19)
            (delivered package2 l1 t20)
            (delivered package2 l1 t21)
            (delivered package2 l1 t22)
            (delivered package2 l1 t23)
            (delivered package2 l1 t24)))
    (preference P21B 
        (or (delivered package2 l1 t1)
            (delivered package2 l1 t2)
            (delivered package2 l1 t3)
            (delivered package2 l1 t4)
            (delivered package2 l1 t5)
            (delivered package2 l1 t6)
            (delivered package2 l1 t7)
            (delivered package2 l1 t8)
            (delivered package2 l1 t9)
            (delivered package2 l1 t10)
            (delivered package2 l1 t11)
            (delivered package2 l1 t12)
            (delivered package2 l1 t13)
            (delivered package2 l1 t14)
            (delivered package2 l1 t15)
            (delivered package2 l1 t16)
            (delivered package2 l1 t17)
            (delivered package2 l1 t18)
            (delivered package2 l1 t19)
            (delivered package2 l1 t20)
            (delivered package2 l1 t21)
            (delivered package2 l1 t22)
            (delivered package2 l1 t23)))
    (preference P20B 
        (or (delivered package2 l1 t1)
            (delivered package2 l1 t2)
            (delivered package2 l1 t3)
            (delivered package2 l1 t4)
            (delivered package2 l1 t5)
            (delivered package2 l1 t6)
            (delivered package2 l1 t7)
            (delivered package2 l1 t8)
            (delivered package2 l1 t9)
            (delivered package2 l1 t10)
            (delivered package2 l1 t11)
            (delivered package2 l1 t12)
            (delivered package2 l1 t13)
            (delivered package2 l1 t14)
            (delivered package2 l1 t15)
            (delivered package2 l1 t16)
            (delivered package2 l1 t17)
            (delivered package2 l1 t18)
            (delivered package2 l1 t19)
            (delivered package2 l1 t20)
            (delivered package2 l1 t21)
            (delivered package2 l1 t22)))
    (preference P19B 
        (or (delivered package2 l1 t1)
            (delivered package2 l1 t2)
            (delivered package2 l1 t3)
            (delivered package2 l1 t4)
            (delivered package2 l1 t5)
            (delivered package2 l1 t6)
            (delivered package2 l1 t7)
            (delivered package2 l1 t8)
            (delivered package2 l1 t9)
            (delivered package2 l1 t10)
            (delivered package2 l1 t11)
            (delivered package2 l1 t12)
            (delivered package2 l1 t13)
            (delivered package2 l1 t14)
            (delivered package2 l1 t15)
            (delivered package2 l1 t16)
            (delivered package2 l1 t17)
            (delivered package2 l1 t18)
            (delivered package2 l1 t19)
            (delivered package2 l1 t20)
            (delivered package2 l1 t21)))
    (preference P18B 
        (or (delivered package2 l1 t1)
            (delivered package2 l1 t2)
            (delivered package2 l1 t3)
            (delivered package2 l1 t4)
            (delivered package2 l1 t5)
            (delivered package2 l1 t6)
            (delivered package2 l1 t7)
            (delivered package2 l1 t8)
            (delivered package2 l1 t9)
            (delivered package2 l1 t10)
            (delivered package2 l1 t11)
            (delivered package2 l1 t12)
            (delivered package2 l1 t13)
            (delivered package2 l1 t14)
            (delivered package2 l1 t15)
            (delivered package2 l1 t16)
            (delivered package2 l1 t17)
            (delivered package2 l1 t18)
            (delivered package2 l1 t19)
            (delivered package2 l1 t20)))
    (preference P17B 
        (or (delivered package2 l1 t1)
            (delivered package2 l1 t2)
            (delivered package2 l1 t3)
            (delivered package2 l1 t4)
            (delivered package2 l1 t5)
            (delivered package2 l1 t6)
            (delivered package2 l1 t7)
            (delivered package2 l1 t8)
            (delivered package2 l1 t9)
            (delivered package2 l1 t10)
            (delivered package2 l1 t11)
            (delivered package2 l1 t12)
            (delivered package2 l1 t13)
            (delivered package2 l1 t14)
            (delivered package2 l1 t15)
            (delivered package2 l1 t16)
            (delivered package2 l1 t17)
            (delivered package2 l1 t18)
            (delivered package2 l1 t19)))
    (preference P16B 
        (or (delivered package2 l1 t1)
            (delivered package2 l1 t2)
            (delivered package2 l1 t3)
            (delivered package2 l1 t4)
            (delivered package2 l1 t5)
            (delivered package2 l1 t6)
            (delivered package2 l1 t7)
            (delivered package2 l1 t8)
            (delivered package2 l1 t9)
            (delivered package2 l1 t10)
            (delivered package2 l1 t11)
            (delivered package2 l1 t12)
            (delivered package2 l1 t13)
            (delivered package2 l1 t14)
            (delivered package2 l1 t15)
            (delivered package2 l1 t16)
            (delivered package2 l1 t17)
            (delivered package2 l1 t18)))
    (preference P15B 
        (or (delivered package2 l1 t1)
            (delivered package2 l1 t2)
            (delivered package2 l1 t3)
            (delivered package2 l1 t4)
            (delivered package2 l1 t5)
            (delivered package2 l1 t6)
            (delivered package2 l1 t7)
            (delivered package2 l1 t8)
            (delivered package2 l1 t9)
            (delivered package2 l1 t10)
            (delivered package2 l1 t11)
            (delivered package2 l1 t12)
            (delivered package2 l1 t13)
            (delivered package2 l1 t14)
            (delivered package2 l1 t15)
            (delivered package2 l1 t16)
            (delivered package2 l1 t17)))
    (preference P14B 
        (or (delivered package2 l1 t1)
            (delivered package2 l1 t2)
            (delivered package2 l1 t3)
            (delivered package2 l1 t4)
            (delivered package2 l1 t5)
            (delivered package2 l1 t6)
            (delivered package2 l1 t7)
            (delivered package2 l1 t8)
            (delivered package2 l1 t9)
            (delivered package2 l1 t10)
            (delivered package2 l1 t11)
            (delivered package2 l1 t12)
            (delivered package2 l1 t13)
            (delivered package2 l1 t14)
            (delivered package2 l1 t15)
            (delivered package2 l1 t16)))
    (preference P13B 
        (or (delivered package2 l1 t1)
            (delivered package2 l1 t2)
            (delivered package2 l1 t3)
            (delivered package2 l1 t4)
            (delivered package2 l1 t5)
            (delivered package2 l1 t6)
            (delivered package2 l1 t7)
            (delivered package2 l1 t8)
            (delivered package2 l1 t9)
            (delivered package2 l1 t10)
            (delivered package2 l1 t11)
            (delivered package2 l1 t12)
            (delivered package2 l1 t13)
            (delivered package2 l1 t14)
            (delivered package2 l1 t15)))
    (preference P12B 
        (or (delivered package2 l1 t1)
            (delivered package2 l1 t2)
            (delivered package2 l1 t3)
            (delivered package2 l1 t4)
            (delivered package2 l1 t5)
            (delivered package2 l1 t6)
            (delivered package2 l1 t7)
            (delivered package2 l1 t8)
            (delivered package2 l1 t9)
            (delivered package2 l1 t10)
            (delivered package2 l1 t11)
            (delivered package2 l1 t12)
            (delivered package2 l1 t13)
            (delivered package2 l1 t14)))
    (preference P11B 
        (or (delivered package2 l1 t1)
            (delivered package2 l1 t2)
            (delivered package2 l1 t3)
            (delivered package2 l1 t4)
            (delivered package2 l1 t5)
            (delivered package2 l1 t6)
            (delivered package2 l1 t7)
            (delivered package2 l1 t8)
            (delivered package2 l1 t9)
            (delivered package2 l1 t10)
            (delivered package2 l1 t11)
            (delivered package2 l1 t12)
            (delivered package2 l1 t13)))
    (preference P10B 
        (or (delivered package2 l1 t1)
            (delivered package2 l1 t2)
            (delivered package2 l1 t3)
            (delivered package2 l1 t4)
            (delivered package2 l1 t5)
            (delivered package2 l1 t6)
            (delivered package2 l1 t7)
            (delivered package2 l1 t8)
            (delivered package2 l1 t9)
            (delivered package2 l1 t10)
            (delivered package2 l1 t11)
            (delivered package2 l1 t12)))
    (preference P9B 
        (or (delivered package2 l1 t1)
            (delivered package2 l1 t2)
            (delivered package2 l1 t3)
            (delivered package2 l1 t4)
            (delivered package2 l1 t5)
            (delivered package2 l1 t6)
            (delivered package2 l1 t7)
            (delivered package2 l1 t8)
            (delivered package2 l1 t9)
            (delivered package2 l1 t10)
            (delivered package2 l1 t11)))
    (preference P8B 
        (or (delivered package2 l1 t1)
            (delivered package2 l1 t2)
            (delivered package2 l1 t3)
            (delivered package2 l1 t4)
            (delivered package2 l1 t5)
            (delivered package2 l1 t6)
            (delivered package2 l1 t7)
            (delivered package2 l1 t8)
            (delivered package2 l1 t9)
            (delivered package2 l1 t10)))
    (preference P7B 
        (or (delivered package2 l1 t1)
            (delivered package2 l1 t2)
            (delivered package2 l1 t3)
            (delivered package2 l1 t4)
            (delivered package2 l1 t5)
            (delivered package2 l1 t6)
            (delivered package2 l1 t7)
            (delivered package2 l1 t8)
            (delivered package2 l1 t9)))
    (preference P6B 
        (or (delivered package2 l1 t1)
            (delivered package2 l1 t2)
            (delivered package2 l1 t3)
            (delivered package2 l1 t4)
            (delivered package2 l1 t5)
            (delivered package2 l1 t6)
            (delivered package2 l1 t7)
            (delivered package2 l1 t8)))
    (preference P5B 
        (or (delivered package2 l1 t1)
            (delivered package2 l1 t2)
            (delivered package2 l1 t3)
            (delivered package2 l1 t4)
            (delivered package2 l1 t5)
            (delivered package2 l1 t6)
            (delivered package2 l1 t7)))
    (preference P4B 
        (or (delivered package2 l1 t1)
            (delivered package2 l1 t2)
            (delivered package2 l1 t3)
            (delivered package2 l1 t4)
            (delivered package2 l1 t5)
            (delivered package2 l1 t6)))
    (preference P3B 
        (or (delivered package2 l1 t1)
            (delivered package2 l1 t2)
            (delivered package2 l1 t3)
            (delivered package2 l1 t4)
            (delivered package2 l1 t5)))
    (preference P2B 
        (or (delivered package2 l1 t1)
            (delivered package2 l1 t2)
            (delivered package2 l1 t3)
            (delivered package2 l1 t4)))
    (preference P1B 
        (or (delivered package2 l1 t1)
            (delivered package2 l1 t2)
            (delivered package2 l1 t3)))
    (preference P22A 
        (or (delivered package1 l3 t1)
            (delivered package1 l3 t2)
            (delivered package1 l3 t3)
            (delivered package1 l3 t4)
            (delivered package1 l3 t5)
            (delivered package1 l3 t6)
            (delivered package1 l3 t7)
            (delivered package1 l3 t8)
            (delivered package1 l3 t9)
            (delivered package1 l3 t10)
            (delivered package1 l3 t11)
            (delivered package1 l3 t12)
            (delivered package1 l3 t13)
            (delivered package1 l3 t14)
            (delivered package1 l3 t15)
            (delivered package1 l3 t16)
            (delivered package1 l3 t17)
            (delivered package1 l3 t18)
            (delivered package1 l3 t19)
            (delivered package1 l3 t20)
            (delivered package1 l3 t21)
            (delivered package1 l3 t22)
            (delivered package1 l3 t23)
            (delivered package1 l3 t24)))
    (preference P21A 
        (or (delivered package1 l3 t1)
            (delivered package1 l3 t2)
            (delivered package1 l3 t3)
            (delivered package1 l3 t4)
            (delivered package1 l3 t5)
            (delivered package1 l3 t6)
            (delivered package1 l3 t7)
            (delivered package1 l3 t8)
            (delivered package1 l3 t9)
            (delivered package1 l3 t10)
            (delivered package1 l3 t11)
            (delivered package1 l3 t12)
            (delivered package1 l3 t13)
            (delivered package1 l3 t14)
            (delivered package1 l3 t15)
            (delivered package1 l3 t16)
            (delivered package1 l3 t17)
            (delivered package1 l3 t18)
            (delivered package1 l3 t19)
            (delivered package1 l3 t20)
            (delivered package1 l3 t21)
            (delivered package1 l3 t22)
            (delivered package1 l3 t23)))
    (preference P20A 
        (or (delivered package1 l3 t1)
            (delivered package1 l3 t2)
            (delivered package1 l3 t3)
            (delivered package1 l3 t4)
            (delivered package1 l3 t5)
            (delivered package1 l3 t6)
            (delivered package1 l3 t7)
            (delivered package1 l3 t8)
            (delivered package1 l3 t9)
            (delivered package1 l3 t10)
            (delivered package1 l3 t11)
            (delivered package1 l3 t12)
            (delivered package1 l3 t13)
            (delivered package1 l3 t14)
            (delivered package1 l3 t15)
            (delivered package1 l3 t16)
            (delivered package1 l3 t17)
            (delivered package1 l3 t18)
            (delivered package1 l3 t19)
            (delivered package1 l3 t20)
            (delivered package1 l3 t21)
            (delivered package1 l3 t22)))
    (preference P19A 
        (or (delivered package1 l3 t1)
            (delivered package1 l3 t2)
            (delivered package1 l3 t3)
            (delivered package1 l3 t4)
            (delivered package1 l3 t5)
            (delivered package1 l3 t6)
            (delivered package1 l3 t7)
            (delivered package1 l3 t8)
            (delivered package1 l3 t9)
            (delivered package1 l3 t10)
            (delivered package1 l3 t11)
            (delivered package1 l3 t12)
            (delivered package1 l3 t13)
            (delivered package1 l3 t14)
            (delivered package1 l3 t15)
            (delivered package1 l3 t16)
            (delivered package1 l3 t17)
            (delivered package1 l3 t18)
            (delivered package1 l3 t19)
            (delivered package1 l3 t20)
            (delivered package1 l3 t21)))
    (preference P18A 
        (or (delivered package1 l3 t1)
            (delivered package1 l3 t2)
            (delivered package1 l3 t3)
            (delivered package1 l3 t4)
            (delivered package1 l3 t5)
            (delivered package1 l3 t6)
            (delivered package1 l3 t7)
            (delivered package1 l3 t8)
            (delivered package1 l3 t9)
            (delivered package1 l3 t10)
            (delivered package1 l3 t11)
            (delivered package1 l3 t12)
            (delivered package1 l3 t13)
            (delivered package1 l3 t14)
            (delivered package1 l3 t15)
            (delivered package1 l3 t16)
            (delivered package1 l3 t17)
            (delivered package1 l3 t18)
            (delivered package1 l3 t19)
            (delivered package1 l3 t20)))
    (preference P17A 
        (or (delivered package1 l3 t1)
            (delivered package1 l3 t2)
            (delivered package1 l3 t3)
            (delivered package1 l3 t4)
            (delivered package1 l3 t5)
            (delivered package1 l3 t6)
            (delivered package1 l3 t7)
            (delivered package1 l3 t8)
            (delivered package1 l3 t9)
            (delivered package1 l3 t10)
            (delivered package1 l3 t11)
            (delivered package1 l3 t12)
            (delivered package1 l3 t13)
            (delivered package1 l3 t14)
            (delivered package1 l3 t15)
            (delivered package1 l3 t16)
            (delivered package1 l3 t17)
            (delivered package1 l3 t18)
            (delivered package1 l3 t19)))
    (preference P16A 
        (or (delivered package1 l3 t1)
            (delivered package1 l3 t2)
            (delivered package1 l3 t3)
            (delivered package1 l3 t4)
            (delivered package1 l3 t5)
            (delivered package1 l3 t6)
            (delivered package1 l3 t7)
            (delivered package1 l3 t8)
            (delivered package1 l3 t9)
            (delivered package1 l3 t10)
            (delivered package1 l3 t11)
            (delivered package1 l3 t12)
            (delivered package1 l3 t13)
            (delivered package1 l3 t14)
            (delivered package1 l3 t15)
            (delivered package1 l3 t16)
            (delivered package1 l3 t17)
            (delivered package1 l3 t18)))
    (preference P15A 
        (or (delivered package1 l3 t1)
            (delivered package1 l3 t2)
            (delivered package1 l3 t3)
            (delivered package1 l3 t4)
            (delivered package1 l3 t5)
            (delivered package1 l3 t6)
            (delivered package1 l3 t7)
            (delivered package1 l3 t8)
            (delivered package1 l3 t9)
            (delivered package1 l3 t10)
            (delivered package1 l3 t11)
            (delivered package1 l3 t12)
            (delivered package1 l3 t13)
            (delivered package1 l3 t14)
            (delivered package1 l3 t15)
            (delivered package1 l3 t16)
            (delivered package1 l3 t17)))
    (preference P14A 
        (or (delivered package1 l3 t1)
            (delivered package1 l3 t2)
            (delivered package1 l3 t3)
            (delivered package1 l3 t4)
            (delivered package1 l3 t5)
            (delivered package1 l3 t6)
            (delivered package1 l3 t7)
            (delivered package1 l3 t8)
            (delivered package1 l3 t9)
            (delivered package1 l3 t10)
            (delivered package1 l3 t11)
            (delivered package1 l3 t12)
            (delivered package1 l3 t13)
            (delivered package1 l3 t14)
            (delivered package1 l3 t15)
            (delivered package1 l3 t16)))
    (preference P13A 
        (or (delivered package1 l3 t1)
            (delivered package1 l3 t2)
            (delivered package1 l3 t3)
            (delivered package1 l3 t4)
            (delivered package1 l3 t5)
            (delivered package1 l3 t6)
            (delivered package1 l3 t7)
            (delivered package1 l3 t8)
            (delivered package1 l3 t9)
            (delivered package1 l3 t10)
            (delivered package1 l3 t11)
            (delivered package1 l3 t12)
            (delivered package1 l3 t13)
            (delivered package1 l3 t14)
            (delivered package1 l3 t15)))
    (preference P12A 
        (or (delivered package1 l3 t1)
            (delivered package1 l3 t2)
            (delivered package1 l3 t3)
            (delivered package1 l3 t4)
            (delivered package1 l3 t5)
            (delivered package1 l3 t6)
            (delivered package1 l3 t7)
            (delivered package1 l3 t8)
            (delivered package1 l3 t9)
            (delivered package1 l3 t10)
            (delivered package1 l3 t11)
            (delivered package1 l3 t12)
            (delivered package1 l3 t13)
            (delivered package1 l3 t14)))
    (preference P11A 
        (or (delivered package1 l3 t1)
            (delivered package1 l3 t2)
            (delivered package1 l3 t3)
            (delivered package1 l3 t4)
            (delivered package1 l3 t5)
            (delivered package1 l3 t6)
            (delivered package1 l3 t7)
            (delivered package1 l3 t8)
            (delivered package1 l3 t9)
            (delivered package1 l3 t10)
            (delivered package1 l3 t11)
            (delivered package1 l3 t12)
            (delivered package1 l3 t13)))
    (preference P10A 
        (or (delivered package1 l3 t1)
            (delivered package1 l3 t2)
            (delivered package1 l3 t3)
            (delivered package1 l3 t4)
            (delivered package1 l3 t5)
            (delivered package1 l3 t6)
            (delivered package1 l3 t7)
            (delivered package1 l3 t8)
            (delivered package1 l3 t9)
            (delivered package1 l3 t10)
            (delivered package1 l3 t11)
            (delivered package1 l3 t12)))
    (preference P9A 
        (or (delivered package1 l3 t1)
            (delivered package1 l3 t2)
            (delivered package1 l3 t3)
            (delivered package1 l3 t4)
            (delivered package1 l3 t5)
            (delivered package1 l3 t6)
            (delivered package1 l3 t7)
            (delivered package1 l3 t8)
            (delivered package1 l3 t9)
            (delivered package1 l3 t10)
            (delivered package1 l3 t11)))
    (preference P8A 
        (or (delivered package1 l3 t1)
            (delivered package1 l3 t2)
            (delivered package1 l3 t3)
            (delivered package1 l3 t4)
            (delivered package1 l3 t5)
            (delivered package1 l3 t6)
            (delivered package1 l3 t7)
            (delivered package1 l3 t8)
            (delivered package1 l3 t9)
            (delivered package1 l3 t10)))
    (preference P7A 
        (or (delivered package1 l3 t1)
            (delivered package1 l3 t2)
            (delivered package1 l3 t3)
            (delivered package1 l3 t4)
            (delivered package1 l3 t5)
            (delivered package1 l3 t6)
            (delivered package1 l3 t7)
            (delivered package1 l3 t8)
            (delivered package1 l3 t9)))
    (preference P6A 
        (or (delivered package1 l3 t1)
            (delivered package1 l3 t2)
            (delivered package1 l3 t3)
            (delivered package1 l3 t4)
            (delivered package1 l3 t5)
            (delivered package1 l3 t6)
            (delivered package1 l3 t7)
            (delivered package1 l3 t8)))
    (preference P5A 
        (or (delivered package1 l3 t1)
            (delivered package1 l3 t2)
            (delivered package1 l3 t3)
            (delivered package1 l3 t4)
            (delivered package1 l3 t5)
            (delivered package1 l3 t6)
            (delivered package1 l3 t7)))
    (preference P4A 
        (or (delivered package1 l3 t1)
            (delivered package1 l3 t2)
            (delivered package1 l3 t3)
            (delivered package1 l3 t4)
            (delivered package1 l3 t5)
            (delivered package1 l3 t6)))
    (preference P3A 
        (or (delivered package1 l3 t1)
            (delivered package1 l3 t2)
            (delivered package1 l3 t3)
            (delivered package1 l3 t4)
            (delivered package1 l3 t5)))
    (preference P2A 
        (or (delivered package1 l3 t1)
            (delivered package1 l3 t2)
            (delivered package1 l3 t3)
            (delivered package1 l3 t4)))
    (preference P1A 
        (or (delivered package1 l3 t1)
            (delivered package1 l3 t2)
            (delivered package1 l3 t3)))
))
(:metric minimize (+ (* 1 (is-violated p1A))
		     (* 1 (is-violated p1B))
		     (* 1 (is-violated p1C))
		     (* 1 (is-violated p1D))
		     (* 1 (is-violated p1E))
		     (* 1 (is-violated p1F))
		     (* 1 (is-violated p1G))
		     (* 2 (is-violated p2A))
		     (* 2 (is-violated p2B))
		     (* 2 (is-violated p2C))
		     (* 2 (is-violated p2D))
		     (* 2 (is-violated p2E))
		     (* 2 (is-violated p2F))
		     (* 2 (is-violated p2G))
		     (* 3 (is-violated p3A))
		     (* 3 (is-violated p3B))
		     (* 3 (is-violated p3C))
		     (* 3 (is-violated p3D))
		     (* 3 (is-violated p3E))
		     (* 3 (is-violated p3F))
		     (* 3 (is-violated p3G))
		     (* 4 (is-violated p4A))
		     (* 4 (is-violated p4B))
		     (* 4 (is-violated p4C))
		     (* 4 (is-violated p4D))
		     (* 4 (is-violated p4E))
		     (* 4 (is-violated p4F))
		     (* 4 (is-violated p4G))
		     (* 5 (is-violated p5A))
		     (* 5 (is-violated p5B))
		     (* 5 (is-violated p5C))
		     (* 5 (is-violated p5D))
		     (* 5 (is-violated p5E))
		     (* 5 (is-violated p5F))
		     (* 5 (is-violated p5G))
		     (* 6 (is-violated p6A))
		     (* 6 (is-violated p6B))
		     (* 6 (is-violated p6C))
		     (* 6 (is-violated p6D))
		     (* 6 (is-violated p6E))
		     (* 6 (is-violated p6F))
		     (* 6 (is-violated p6G))
		     (* 7 (is-violated p7A))
		     (* 7 (is-violated p7B))
		     (* 7 (is-violated p7C))
		     (* 7 (is-violated p7D))
		     (* 7 (is-violated p7E))
		     (* 7 (is-violated p7F))
		     (* 7 (is-violated p7G))
		     (* 8 (is-violated p8A))
		     (* 8 (is-violated p8B))
		     (* 8 (is-violated p8C))
		     (* 8 (is-violated p8D))
		     (* 8 (is-violated p8E))
		     (* 8 (is-violated p8F))
		     (* 8 (is-violated p8G))
		     (* 9 (is-violated p9A))
		     (* 9 (is-violated p9B))
		     (* 9 (is-violated p9C))
		     (* 9 (is-violated p9D))
		     (* 9 (is-violated p9E))
		     (* 9 (is-violated p9F))
		     (* 9 (is-violated p9G))
		     (* 10 (is-violated p10A))
		     (* 10 (is-violated p10B))
		     (* 10 (is-violated p10C))
		     (* 10 (is-violated p10D))
		     (* 10 (is-violated p10E))
		     (* 10 (is-violated p10F))
		     (* 10 (is-violated p10G))
		     (* 11 (is-violated p11A))
		     (* 11 (is-violated p11B))
		     (* 11 (is-violated p11C))
		     (* 11 (is-violated p11D))
		     (* 11 (is-violated p11E))
		     (* 11 (is-violated p11F))
		     (* 11 (is-violated p11G))
		     (* 12 (is-violated p12A))
		     (* 12 (is-violated p12B))
		     (* 12 (is-violated p12C))
		     (* 12 (is-violated p12D))
		     (* 12 (is-violated p12E))
		     (* 12 (is-violated p12F))
		     (* 12 (is-violated p12G))
		     (* 13 (is-violated p13A))
		     (* 13 (is-violated p13B))
		     (* 13 (is-violated p13C))
		     (* 13 (is-violated p13D))
		     (* 13 (is-violated p13E))
		     (* 13 (is-violated p13F))
		     (* 13 (is-violated p13G))
		     (* 14 (is-violated p14A))
		     (* 14 (is-violated p14B))
		     (* 14 (is-violated p14C))
		     (* 14 (is-violated p14D))
		     (* 15 (is-violated p15A))
		     (* 15 (is-violated p15B))
		     (* 15 (is-violated p15C))
		     (* 15 (is-violated p15D))
		     (* 16 (is-violated p16A))
		     (* 16 (is-violated p16B))
		     (* 16 (is-violated p16C))
		     (* 16 (is-violated p16D))
		     (* 17 (is-violated p17A))
		     (* 17 (is-violated p17B))
		     (* 17 (is-violated p17C))
		     (* 18 (is-violated p18A))
		     (* 18 (is-violated p18B))
		     (* 18 (is-violated p18C))
		     (* 19 (is-violated p19A))
		     (* 19 (is-violated p19B))
		     (* 19 (is-violated p19C))
		     (* 20 (is-violated p20A))
		     (* 20 (is-violated p20B))
		     (* 21 (is-violated p21A))
		     (* 21 (is-violated p21B))
		     (* 22 (is-violated p22A))
		     (* 22 (is-violated p22B))))

)
